void init_monitor(int, char *[]);
void engine_start();
int is_exit_status_bad();

int main(int argc, char *argv[]) {
  /* Initialize the monitor. */
  init_monitor(argc, argv);

  /* Start engine. */
  engine_start();

  return is_exit_status_bad();
}
// #include <monitor/expr.h>
// int main(int argc, char * argv[]) {
//   bool b;
//   init_monitor(argc, argv);
//   unsigned res1 = expr("(0x31+0x32+0x3c)", &b);
//   printf("res = %d\n", res1);
//   unsigned res2 = expr("$sp", &b);
//   printf("res = %x\n", res2);
//   unsigned res3 = expr("$sp+(0x31+0x32+0x3c)", &b);
//   printf("res = %x\n", res3);
// }